Symposium on Logic in Computer Science
Results: 42
| # | Item |
|---|---|
41![c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer](https://www.pdfsearch.io/img/3d0234be35140ecf770263028ca000e1.jpg "c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer") | c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e PlatzerAdd to Reading ListSource URL: symbolaris.comLanguage: English - Date: 2014-06-17 15:56:34 |
42![Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´](https://www.pdfsearch.io/img/8b11fee6f182f51d9e9d4a92b3286cd0.jpg "Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´") | Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´Add to Reading ListSource URL: www.inf.u-szeged.huLanguage: English - Date: 2013-10-26 05:30:52 |